An Answer Set Programming Framework for Reactive Planning and Execution Monitoring (P-16536-N04) D1: Report on State of the Art in Logic-Based Execution Monitoring
نویسندگان
چکیده
Planning has played an important role in many relevant areas of AI. The classical planning problem consists of the following task: Given a state of the world, several actions and their (deterministic) effects, find a sequence of actions (viz. a plan) to reach a certain goal state. In recent years, several successful logic-based approaches to classical planning have been proposed (cf. [33, 11, 63, 15]). In particular planning under the an-
منابع مشابه
Planning Solutions in the Real World
In the last years,researchers have made significant progress on robot planning, leading to impressive realtime planners for such challenging tasks as driving, flying, walking, and manipulating objects. In this paper we present a novel architecture to support applications in artificial intelligence in environments fully observable, i.e. in classical planning.On the other hand, we developed ASP-b...
متن کاملA Robot Control System Integrating Reactive Control, Reasoning, and Execution Monitoring
We present a robot control system that integrates robust reactive control with efficient reasoning about actions and execution monitoring. On the reactive level, the robot is controlled using a hierarchy of low-level behaviors. On the high level, a logical representation of the world enables the robot to reason about the state of the world and to plan action sequences. If the execution of an ac...
متن کاملModel-Based Execution Monitoring
The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies between the actual e ects of control actions and the e ects predicted by a model, is the topic of this thesis. Modelbased execution monitoring is proposed as a technique for increasing the safety and optimality of operation of large and complex industrial process cont...
متن کاملGeneralized Answer Set Planning with Incomplete Information
Answer Set Planning was one of the first challenging applications of Answer Set Programming (ASP). However, when putting plans into practice, their execution and monitoring lead to an increased complexity. Foremost, this is due to the inherent incompleteness of information faced in real-world scenarios. This fundamental problem has already been addressed in various ways, as in conformant, asser...
متن کاملKMonitor - A Tool for Monitoring Plan Execution in Action Theories
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it, deviations of concrete executions from expected ones can be detected, and diagnostic explanations in terms of unsuccessful action executions can be obtained. The latter may be exploited for execution recovery, and m...
متن کامل